2 402 202 книги
без регистрации
бесплатно
Мобильная версия
Книги
Категории и жанры
Лучшие книги
Добавить книгу
Библиотека
Помощь
Мобильная версия
Плагин
Контакты
Как помочь?
Спонсорам и инвесторам
API
Booksee
.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Volume 56)
Alan Bundy
,
David Basin
,
Dieter Hutter
,
Andrew Ireland
996 Kb
#2
Rippling: Meta-Level Guidance for Mathematical Reasoning
Alan Bundy
,
David Basin
,
Dieter Hutter
,
Andrew Ireland
2.08 Mb
#3
Mechanizing Mathematical Reasoning
Dieter Hutter
,
Werner Stephan
Категория:
CsLn_
5.54 Mb
#4
Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers
Dieter Hutter
,
Günter Müller
,
Werner Stephan
,
Markus Ullmann
2.98 Mb
#5
Security in Pervasive Computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings
Dieter Hutter
,
Markus Ullmann
2.89 Mb